1. July 2, 2011. Proceedings-Models of Computation in Context: 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27
پدیدآورنده : / we, Dag Normann, Ivan Soskov, Alexandra Soskova (eds.)نPablo Arrighi, Renan Fargetton, Vincent Nesme (auth.), Benedikt L
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
2. Models of Computation in Context
پدیدآورنده : / we, Dag Normann, Ivan Soskov, Alexandra SoskovaنBenedikt L
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
3. Order Computability-Higher
پدیدآورنده : / John Longley, Dag Normann
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : METHODS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, THEORY
رده :
E-BOOK
4. Recursion on the countable functionals
پدیدآورنده : Normann, Dag
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Recursion theory,، Computable functions,، Functionals
رده :
QA
9
.
6
.
N6
1980
5. Recursion on the countable functionals
پدیدآورنده : Normann, Dag
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Recursion theory,، Computable functions,، Functionals
رده :
QA
1
.
L4
v
.
811
6. Recursion on the countable functionals
پدیدآورنده : Normann, Dag
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Recursion theory,، Computable functions,، Functionals
رده :
QA
3
.
L28
no
.
811
7. Recursion on the countable functionals
پدیدآورنده : Normann, Dag
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Recursion theory,، Computable functions
رده :
QA
3
.
L28
no
.
811
